#include "read_uid.h"

void read_unique_id(uint32_t *id)
{
    id[0] = *(uint32_t *)(0x1FFFF7E8);
    id[1] = *(uint32_t *)(0x1FFFF7EC);
    id[2] = *(uint32_t *)(0x1FFFF7F0);
    id[3] = 0xA5A5A5A5;
}
